Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Combinatory Logic
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Decompilation
Flag this post
Klara at the OpenZFS User & Developer Summit 2025
klarasystems.comยท2h
๐ฟZFS Archaeology
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐ฏGradual Typing
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Nirvana: A Specialized Generalist Model With Task-Aware Memory Mechanism
arxiv.orgยท16h
๐ปLocal LLMs
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.comยท5h
๐ก๏ธeBPF Security
Flag this post
B+Tree Index Structures in InnoDB
๐๏ธDatabase Storage
Flag this post
Why CoreWeaveโs Object Storage Launch is Good for AIโand Everyone Building It
backblaze.comยท4h
๐พPersistence Strategies
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
๐ฆRust Verification
Flag this post
OpenBSD smtpd errata patches released for versions 7.7 and 7.8
discoverbsd.comยท11h
๐Operating system internals
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Functional Compilers
Flag this post
Reflection for Aggregates (2020)
๐Type Safety
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
๐ฃ๏ธDomain-Specific Languages
Flag this post
Loading...Loading more...